121. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory
رده :
E-BOOK
122. Proof complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Computational complexity. ;
123. Proof in mathematics Eduction research,learning and teaching
پدیدآورنده : David Reid ,Christine knipping
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Proof theory
رده :
QA
9
.
54
.
P76
124. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
125. Proof, logic and formalization
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA
,
9
.
54
,.
P77
,
1992
126. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
127. Proof, logic, and formalization
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophie ; Preuve, Th?orie de la ; -Proof theory ; Logic, Symbolic and mathematical ; Logique symbolique et math?matique ; Math?matiques
128. Proof theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Proof theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
129. #Proof theory
پدیدآورنده : #Kurt Schutte , translation from the German by J. N. Crossley
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Proof theory
رده :
#
QA
،#.
S3813
130. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
131. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
132. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
133. Proof theory,Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(,Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
134. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
L4
1990
135. Proof theory: an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory
رده :
QA
3
.
L28
no
.
1407
136. Proof theory :an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory
رده :
QA3
.
L28
no
.
1407
137. Proof theory and algebra in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
138. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Proof theory , Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997
139. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
140. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997